Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic.
نویسندگان
چکیده
Based on the discrete definition of biological regulatory networks developed by René Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications.
منابع مشابه
Comparison of MLP NN Approach with PCA and ICA for Extraction of Hidden Regulatory Signals in Biological Networks
The biologists now face with the masses of high dimensional datasets generated from various high-throughput technologies, which are outputs of complex inter-connected biological networks at different levels driven by a number of hidden regulatory signals. So far, many computational and statistical methods such as PCA and ICA have been employed for computing low-dimensional or hidden represe...
متن کاملModeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Regulatory networks are at the core of all biological functions from bio-chemical pathways to gene regulation and cell communication processes. Because of the complexity of the interweaving retroactions, the overall behavior is difficult to grasp and the development of formal methods is needed in order to confront the supposed properties of the biological system to the model. We revisit here th...
متن کاملLogical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework
We present a constraint based declarative approach for analyzing qualitatively genetic regulatory networks (GRNs) with the discrete formalism of R. Thomas. For this purpose, we use the logic programming technology ASP (Answer Set Programming) whose related logic is non monotonic. Our aim is twofold. First, we give a formal modeling of both Thomas’ GRNs and biological data like experimental beha...
متن کاملA description of dynamical graphs associated to elementary regulatory circuits
The biological and dynamical importance of feedback circuits in regulatory graphs has often been emphasized. The work presented here aims at completely describing the dynamics of isolated elementary regulatory circuits. Our analytical approach is based on a discrete formal framework, built upon the logical approach of R. Thomas. Given a regulatory circuit, we show that the structure of synchron...
متن کاملOn the conversion of multivalued gene regulatory networks to Boolean dynamics
We consider the modeling approach introduced by R. Thomas for the qualitative study of gene regulatory networks. Tools and results on regulatory networks are often concerned only with the Boolean case of this formalism. However, multivalued approaches are sometimes more suited to model biological situations. Multivalued networks can be converted to partial Boolean maps, in a way that preserves ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of theoretical biology
دوره 229 3 شماره
صفحات -
تاریخ انتشار 2004